Commentary by Chris Pressey =========================== This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations. Partial Evaluation --------------- ### Tutorial on Online Partial Evaluation * rating: 3 Definitely a tutorial, but that's good as it's easy to read and makes the basic ideas very clear. Lots of Haskell example code. Illustrates a simple application (specializing a model interpreter, in this case for models of state machines) and some of the pitfalls as well. ### Partial Evaluation and Automatic Program Generation * rating: TODO . ### Partial evaluation : practice and theory * rating: 1 The introductory articles on partial evaluation are okay, but you can find ones that are at least as good elsewhere, I'm sure; the other articles are mostly about applications and as such seem to have mostly historical interest now. ### Tutorial notes on partial evaluation * rating: 1 A bit dated, but some useful information in this short survey paper. Surely many of the practical applications of "online partial evaluation" have been overtaken by just-in-time (JIT) compilation. ### Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler * rating: classic . ### A partial evaluator for the untyped lambda-calculus * rating: classic . ### Compile-time calculation - Rosetta Code * rating: 1 .